Resource Bounded Randomness and Weakly Complete Problems 1

نویسندگان

  • Sebastiaan A. Terwijn
  • Xizhong Zheng
چکیده

We introduce and study resource bounded random sets based on Lutz's concept of resource bounded measure ((7, 8]). We concentrate on n c-randomness (c 2) which corresponds to the polynomial time bounded (p-) measure of Lutz, and which is adequate for studying the internal and quantitative structure of E = DTIME(2 lin). However we will also comment on E2 = DTIME(2 pol) and its corresponding (p2-) measure. First we show that the class of n c-random sets has p-measure 1. This provides a new, simpliied approach to p-measure 1-results. Next we compare ran-domness with genericity (in the sense of 2, 3]) and we show that n c+1-random sets are n c-generic, whereas the converse fails. From the former we conclude that n c-random sets are not p-btt-complete for E. Our technical main results describe the distribution of the n c-random sets under p-m-reducibility. We show that every n c-random set in E has n k-random predecessors in E for any k 1, whereas the amount of randomness of the successors is bounded. We apply this result to answer a question raised by Lutz 10]: We show that the class of weakly complete sets has measure 1 in E and that there are weakly complete problems which are not p-btt-complete for E.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Randomness vs. Completeness: On the Diagonalization Strength of Resource-Bounded Random Sets

We show that the question of whether the p-tt-complete or p-T -complete sets for the deterministic time classes E and EXP have measure 0 in these classes in the sense of Lutz's resource-bounded measure cannot be decided by relativizable techniques. On the other hand, we obtain the following absolute results if we bound the norm, i.e., the number of oracle queries of the reductions: For r = tt; ...

متن کامل

Resource-Bounded Randomness and Compressibility with Respect to Nonuniform Measures

Most research on resource-bounded measure and randomness has focused on the uniform probability density, or Lebesgue measure, on {0, 1}∞; the study of resource-bounded measure theory with respect to a nonuniform underlying measure was recently initiated by Breutzmann and Lutz [1]. In this paper we prove a series of fundamental results on the role of nonuniform measures in resource-bounded measu...

متن کامل

Resource bounded randomness and computational complexity

The following is a survey of resource bounded randomness concepts and their relations to each other. Further, we introduce several new resource bounded randomness concepts corresponding to the classical randomness concepts, and show that the notion of polynomial time bounded Ko randomness is independent of the notions of polynomial time bounded Lutz, Schnorr and Kurtz randomness. Lutz has conje...

متن کامل

A Comparison of Weak Completeness Notions 1 Extended

We compare the weak completeness notions for E in the sense of Lutz's resource-bounded measure theory 11] with respect to the standard polynomial time reducibilities. Our results parallel results for classical completeness by Watanabe 17] and others. We show that the weak completeness notions for 1-query reductions coincide: A set is weakly complete for E under 1-truth-table reducibility ii it ...

متن کامل

Randomness and Differentiability

We characterize some major algorithmic randomness notions via differentiability of effective functions. (1) We show that a real number z ∈ [0, 1] is computably random if and only if every nondecreasing computable function [0, 1] → R is differentiable at z. (2) A real number z ∈ [0, 1] is weakly 2-random if and only if every almost everywhere differentiable computable function [0, 1] → R is diff...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994